﻿// Du code de callback pour afficher les sources


function displaySource(f) {
  // On dégage le menu
  closeToc();
	var param = new Array();
	param[0] = f ;
	invoke(1,"SourceCode","display", param, manageResult);

}



// Un truc qui pourrait être une lambda : met le texte au bon endroit !
function manageResult(text) {
	document.getElementById("sourceCode").innerHTML = text;
}

// Permety d'explorer de manière sympa en ouvrant / fermant
function manage(listId) {
	var realId = "dirId./"+listId;
	var elem = document.getElementById(realId);

	if(elem.style.display == 'none')
	  elem.style.display = '';
	else
	  elem.style.display = 'none';
}
